$\forall$$A$, $B$:Type, $f$:($A$$\rightarrow$$B$), $l$:$A$ List. map($f$;$l$) $=$ nil $\in$ $B$ List $\Leftrightarrow$ $l$ $=$ nil